Merge pull request #5852 from y04/master
authorJo-Philipp Wich <[email protected]>
Tue, 5 Jul 2022 21:52:24 +0000 (23:52 +0200)
committerGitHub <[email protected]>
Tue, 5 Jul 2022 21:52:24 +0000 (23:52 +0200)
Optimized PNG filesizes


Trivial merge